2.2.3 Integrals 201 to 300

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 201

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F A F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

203 213 1054 403 0 221 0 0 0

N.S.

1 1.05 5.19 1.99 0.00 1.09 0.00 0.00 0.00

time (sec)

N/A 1.086 6.575 8.150 0.000 0.323 0.000 0.000 0.000

Problem 202

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

246 262 311 587 0 302 0 0 0

N.S.

1 1.07 1.26 2.39 0.00 1.23 0.00 0.00 0.00

time (sec)

N/A 1.589 2.186 17.798 0.000 8.570 0.000 0.000 0.000

Problem 203

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

194 205 252 447 0 267 0 0 0

N.S.

1 1.06 1.30 2.30 0.00 1.38 0.00 0.00 0.00

time (sec)

N/A 1.148 1.174 6.058 0.000 6.873 0.000 0.000 0.000

Problem 204

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

154 160 168 343 0 215 0 0 0

N.S.

1 1.04 1.09 2.23 0.00 1.40 0.00 0.00 0.00

time (sec)

N/A 0.718 4.631 5.956 0.000 0.326 0.000 0.000 0.000

Problem 205

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

156 162 150 343 0 217 0 0 0

N.S.

1 1.04 0.96 2.20 0.00 1.39 0.00 0.00 0.00

time (sec)

N/A 0.748 1.607 8.030 0.000 0.307 0.000 0.000 0.000

Problem 206

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-1) A F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

203 213 728 485 0 248 0 0 0

N.S.

1 1.05 3.59 2.39 0.00 1.22 0.00 0.00 0.00

time (sec)

N/A 1.075 6.661 8.185 0.000 0.322 0.000 0.000 0.000

Problem 207

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F A F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

250 268 1148 535 0 270 0 0 0

N.S.

1 1.07 4.59 2.14 0.00 1.08 0.00 0.00 0.00

time (sec)

N/A 1.426 8.072 7.977 0.000 0.309 0.000 0.000 0.000

Problem 208

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F(-1) F(-1) F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

293 317 378 795 0 368 0 0 0

N.S.

1 1.08 1.29 2.71 0.00 1.26 0.00 0.00 0.00

time (sec)

N/A 1.987 2.940 17.277 0.000 14.790 0.000 0.000 0.000

Problem 209

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F(-1) F(-1) F(-1)

verified

N/A Yes No No TBD TBD TBD TBD TBD

size

241 260 319 640 0 327 0 0 0

N.S.

1 1.08 1.32 2.66 0.00 1.36 0.00 0.00 0.00

time (sec)

N/A 1.518 2.168 5.945 0.000 8.464 0.000 0.000 0.000

Problem 210

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B B F A F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

201 215 613 475 0 266 0 0 0

N.S.

1 1.07 3.05 2.36 0.00 1.32 0.00 0.00 0.00

time (sec)

N/A 1.077 6.318 5.967 0.000 0.348 0.000 0.000 0.000

Problem 211

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

201 215 167 475 0 264 0 0 0

N.S.

1 1.07 0.83 2.36 0.00 1.31 0.00 0.00 0.00

time (sec)

N/A 1.069 1.669 5.885 0.000 0.306 0.000 0.000 0.000

Problem 212

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F A F(-1) F(-1) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

203 217 168 475 0 266 0 0 0

N.S.

1 1.07 0.83 2.34 0.00 1.31 0.00 0.00 0.00

time (sec)

N/A 1.111 1.586 8.149 0.000 0.318 0.000 0.000 0.000

Problem 213

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-1) A F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

250 268 798 603 0 298 0 0 0

N.S.

1 1.07 3.19 2.41 0.00 1.19 0.00 0.00 0.00

time (sec)

N/A 1.413 6.914 8.032 0.000 0.333 0.000 0.000 0.000

Problem 214

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F(-1) A F(-1) F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

297 323 1256 667 0 319 0 0 0

N.S.

1 1.09 4.23 2.25 0.00 1.07 0.00 0.00 0.00

time (sec)

N/A 1.802 8.436 7.896 0.000 0.358 0.000 0.000 0.000

Problem 215

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

105 97 91 86 101 81 252 89 117

N.S.

1 0.92 0.87 0.82 0.96 0.77 2.40 0.85 1.11

time (sec)

N/A 0.571 0.208 2.962 0.216 0.300 0.185 0.295 0.511

Problem 216

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

84 86 75 65 79 60 168 68 84

N.S.

1 1.02 0.89 0.77 0.94 0.71 2.00 0.81 1.00

time (sec)

N/A 0.400 0.151 2.049 0.202 0.287 0.138 0.308 0.425

Problem 217

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

52 52 51 51 55 42 94 45 50

N.S.

1 1.00 0.98 0.98 1.06 0.81 1.81 0.87 0.96

time (sec)

N/A 0.215 0.095 0.915 0.192 0.276 0.090 0.269 0.385

Problem 218

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 35 46 48 47 54 0 79 100

N.S.

1 1.00 1.31 1.37 1.34 1.54 0.00 2.26 2.86

time (sec)

N/A 0.435 0.029 1.621 0.202 0.294 0.000 0.295 0.517

Problem 219

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A B B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 35 43 50 73 85 0 84 114

N.S.

1 1.00 1.23 1.43 2.09 2.43 0.00 2.40 3.26

time (sec)

N/A 0.449 0.010 2.590 0.206 0.314 0.000 0.294 0.551

Problem 220

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 64 75 75 95 96 0 151 104

N.S.

1 1.05 1.23 1.23 1.56 1.57 0.00 2.48 1.70

time (sec)

N/A 0.583 0.013 3.249 0.212 0.292 0.000 0.305 1.408

Problem 221

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

93 91 67 81 127 115 0 210 145

N.S.

1 0.98 0.72 0.87 1.37 1.24 0.00 2.26 1.56

time (sec)

N/A 0.673 0.198 4.176 0.267 0.298 0.000 0.325 2.687

Problem 222

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

114 106 85 119 163 136 0 304 194

N.S.

1 0.93 0.75 1.04 1.43 1.19 0.00 2.67 1.70

time (sec)

N/A 0.698 0.439 4.341 0.200 0.325 0.000 0.304 4.119

Problem 223

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

189 164 146 147 176 142 459 156 307

N.S.

1 0.87 0.77 0.78 0.93 0.75 2.43 0.83 1.62

time (sec)

N/A 0.820 1.154 3.999 0.191 0.284 0.292 0.301 4.085

Problem 224

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

170 177 118 118 142 114 338 124 169

N.S.

1 1.04 0.69 0.69 0.84 0.67 1.99 0.73 0.99

time (sec)

N/A 0.639 1.639 2.762 0.193 0.296 0.198 0.289 0.532

Problem 225

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 110 90 88 108 85 199 93 115

N.S.

1 1.03 0.84 0.82 1.01 0.79 1.86 0.87 1.07

time (sec)

N/A 0.356 0.574 2.078 0.192 0.300 0.138 0.303 0.469

Problem 226

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 86 120 94 92 87 0 178 169

N.S.

1 1.00 1.40 1.09 1.07 1.01 0.00 2.07 1.97

time (sec)

N/A 0.618 0.940 1.532 0.223 0.291 0.000 0.291 0.759

Problem 227

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

60 60 109 79 103 117 0 152 169

N.S.

1 1.00 1.82 1.32 1.72 1.95 0.00 2.53 2.82

time (sec)

N/A 0.577 1.212 2.716 0.196 0.280 0.000 0.304 1.027

Problem 228

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

80 84 67 104 140 136 0 190 176

N.S.

1 1.05 0.84 1.30 1.75 1.70 0.00 2.38 2.20

time (sec)

N/A 0.642 0.186 3.717 0.208 0.285 0.000 0.313 1.166

Problem 229

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

116 122 92 118 172 150 0 294 227

N.S.

1 1.05 0.79 1.02 1.48 1.29 0.00 2.53 1.96

time (sec)

N/A 0.809 0.313 4.518 0.383 0.300 0.000 0.325 3.850

Problem 230

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

156 149 120 148 228 180 0 478 314

N.S.

1 0.96 0.77 0.95 1.46 1.15 0.00 3.06 2.01

time (sec)

N/A 0.929 0.481 5.230 0.198 0.292 0.000 0.320 4.014

Problem 231

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

269 231 289 213 266 211 721 230 352

N.S.

1 0.86 1.07 0.79 0.99 0.78 2.68 0.86 1.31

time (sec)

N/A 1.211 1.675 5.089 0.226 0.318 0.429 0.316 1.251

Problem 232

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

243 252 176 176 217 174 551 188 277

N.S.

1 1.04 0.72 0.72 0.89 0.72 2.27 0.77 1.14

time (sec)

N/A 0.880 2.309 3.947 0.205 0.285 0.297 0.321 0.898

Problem 233

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

171 179 140 142 171 136 386 148 202

N.S.

1 1.05 0.82 0.83 1.00 0.80 2.26 0.87 1.18

time (sec)

N/A 0.557 1.361 3.165 0.211 0.280 0.204 0.283 0.604

Problem 234

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

137 146 159 135 145 131 0 314 1924

N.S.

1 1.07 1.16 0.99 1.06 0.96 0.00 2.29 14.04

time (sec)

N/A 0.949 1.698 2.923 0.213 0.301 0.000 0.330 2.038

Problem 235

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

131 134 217 124 144 152 0 234 236

N.S.

1 1.02 1.66 0.95 1.10 1.16 0.00 1.79 1.80

time (sec)

N/A 0.922 1.963 3.241 0.201 0.306 0.000 0.310 1.459

Problem 236

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

124 126 277 133 169 167 0 239 249

N.S.

1 1.02 2.23 1.07 1.36 1.35 0.00 1.93 2.01

time (sec)

N/A 0.970 3.286 3.727 0.217 0.292 0.000 0.318 1.668

Problem 237

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

145 154 108 146 216 189 0 336 526

N.S.

1 1.06 0.74 1.01 1.49 1.30 0.00 2.32 3.63

time (sec)

N/A 1.028 0.401 4.875 0.201 0.314 0.000 0.319 2.169

Problem 238

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

188 199 140 185 273 211 0 586 395

N.S.

1 1.06 0.74 0.98 1.45 1.12 0.00 3.12 2.10

time (sec)

N/A 1.236 0.561 5.534 0.225 0.319 0.000 0.328 4.129

Problem 239

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

236 225 181 200 341 249 0 722 470

N.S.

1 0.95 0.77 0.85 1.44 1.06 0.00 3.06 1.99

time (sec)

N/A 1.447 2.095 6.201 0.209 0.330 0.000 0.361 4.445

Problem 240

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

366 315 408 273 366 289 1017 313 436

N.S.

1 0.86 1.11 0.75 1.00 0.79 2.78 0.86 1.19

time (sec)

N/A 1.806 1.893 6.263 0.204 0.320 0.594 0.334 2.909

Problem 241

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

325 336 333 242 307 243 811 263 403

N.S.

1 1.03 1.02 0.74 0.94 0.75 2.50 0.81 1.24

time (sec)

N/A 1.191 2.881 4.755 0.205 0.305 0.432 0.314 1.470

Problem 242

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

241 254 263 197 246 197 580 212 307

N.S.

1 1.05 1.09 0.82 1.02 0.82 2.41 0.88 1.27

time (sec)

N/A 0.798 1.527 3.922 0.204 0.282 0.312 0.333 0.963

Problem 243

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

200 214 210 191 208 183 0 603 369

N.S.

1 1.07 1.05 0.96 1.04 0.92 0.00 3.02 1.84

time (sec)

N/A 1.451 2.027 3.084 0.198 0.304 0.000 0.327 1.558

Problem 244

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

195 204 257 164 197 196 0 371 2522

N.S.

1 1.05 1.32 0.84 1.01 1.01 0.00 1.90 12.93

time (sec)

N/A 1.422 2.606 4.008 0.260 0.296 0.000 0.334 2.462

Problem 245

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

209 201 310 178 209 202 0 526 330

N.S.

1 0.96 1.48 0.85 1.00 0.97 0.00 2.52 1.58

time (sec)

N/A 1.471 3.245 3.854 0.198 0.300 0.000 0.383 2.654

Problem 246

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

198 205 415 175 245 219 0 387 636

N.S.

1 1.04 2.10 0.88 1.24 1.11 0.00 1.95 3.21

time (sec)

N/A 1.467 6.804 5.034 0.202 0.303 0.000 0.349 3.014

Problem 247

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

216 230 160 213 317 250 0 635 1969

N.S.

1 1.06 0.74 0.99 1.47 1.16 0.00 2.94 9.12

time (sec)

N/A 1.493 0.722 5.474 0.205 0.307 0.000 0.351 3.172

Problem 248

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

267 283 198 237 386 281 0 850 555

N.S.

1 1.06 0.74 0.89 1.45 1.05 0.00 3.18 2.08

time (sec)

N/A 1.732 2.677 6.398 0.262 0.290 0.000 0.380 4.167

Problem 249

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

324 302 244 277 474 327 0 1186 706

N.S.

1 0.93 0.75 0.85 1.46 1.01 0.00 3.66 2.18

time (sec)

N/A 1.967 1.956 7.462 0.230 0.309 0.000 0.371 4.181

Problem 250

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

178 195 152 240 0 541 0 360 4568

N.S.

1 1.10 0.85 1.35 0.00 3.04 0.00 2.02 25.66

time (sec)

N/A 1.046 0.942 1.212 0.000 0.361 0.000 0.294 5.321

Problem 251

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

134 146 121 169 0 426 10409 227 3761

N.S.

1 1.09 0.90 1.26 0.00 3.18 77.68 1.69 28.07

time (sec)

N/A 0.692 0.679 1.082 0.000 0.317 173.247 0.331 4.289

Problem 252

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 86 85 110 0 322 3225 142 541

N.S.

1 0.97 0.96 1.24 0.00 3.62 36.24 1.60 6.08

time (sec)

N/A 0.500 0.466 0.952 0.000 0.312 56.388 0.298 1.228

Problem 253

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

67 67 68 73 0 242 524 296 344

N.S.

1 1.00 1.01 1.09 0.00 3.61 7.82 4.42 5.13

time (sec)

N/A 0.300 0.135 1.010 0.000 0.323 11.239 0.297 1.871

Problem 254

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 76 112 92 0 304 0 127 342

N.S.

1 1.00 1.47 1.21 0.00 4.00 0.00 1.67 4.50

time (sec)

N/A 0.387 0.344 1.383 0.000 0.669 0.000 0.308 1.821

Problem 255

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

99 96 129 144 0 460 0 175 675

N.S.

1 0.97 1.30 1.45 0.00 4.65 0.00 1.77 6.82

time (sec)

N/A 0.521 0.737 1.645 0.000 0.395 0.000 0.315 2.301

Problem 256

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

143 154 300 229 0 589 0 269 4051

N.S.

1 1.08 2.10 1.60 0.00 4.12 0.00 1.88 28.33

time (sec)

N/A 0.990 1.675 1.561 0.000 2.785 0.000 0.357 4.442

Problem 257

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F(-2) A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

187 204 422 335 0 729 0 412 4696

N.S.

1 1.09 2.26 1.79 0.00 3.90 0.00 2.20 25.11

time (sec)

N/A 1.401 1.995 1.860 0.000 0.732 0.000 0.324 5.410

Problem 258

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

263 277 184 267 0 965 0 338 6744

N.S.

1 1.05 0.70 1.02 0.00 3.67 0.00 1.29 25.64

time (sec)

N/A 1.302 1.496 1.399 0.000 0.355 0.000 0.295 9.932

Problem 259

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

155 185 147 205 0 788 0 1116 3276

N.S.

1 1.19 0.95 1.32 0.00 5.08 0.00 7.20 21.14

time (sec)

N/A 0.868 1.144 1.271 0.000 0.336 0.000 0.389 5.501

Problem 260

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

122 149 119 161 0 552 0 199 3775

N.S.

1 1.22 0.98 1.32 0.00 4.52 0.00 1.63 30.94

time (sec)

N/A 0.637 0.749 1.038 0.000 0.356 0.000 0.282 8.385

Problem 261

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 111 97 128 0 379 4974 159 113

N.S.

1 1.11 0.97 1.28 0.00 3.79 49.74 1.59 1.13

time (sec)

N/A 0.358 0.374 1.049 0.000 0.311 157.097 0.333 0.922

Problem 262

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

133 158 191 182 0 684 0 223 3763

N.S.

1 1.19 1.44 1.37 0.00 5.14 0.00 1.68 28.29

time (sec)

N/A 0.738 0.796 1.569 0.000 2.990 0.000 0.310 8.390

Problem 263

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

189 208 240 241 0 1088 0 404 5464

N.S.

1 1.10 1.27 1.28 0.00 5.76 0.00 2.14 28.91

time (sec)

N/A 1.211 1.695 2.107 0.000 8.040 0.000 0.305 13.252

Problem 264

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

270 284 438 326 0 1329 0 378 6692

N.S.

1 1.05 1.62 1.21 0.00 4.92 0.00 1.40 24.79

time (sec)

N/A 1.744 6.902 2.059 0.000 12.981 0.000 0.324 9.654

Problem 265

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

398 424 734 402 0 1812 0 2712 10598

N.S.

1 1.07 1.84 1.01 0.00 4.55 0.00 6.81 26.63

time (sec)

N/A 2.131 3.664 1.932 0.000 0.501 0.000 0.543 12.391

Problem 266

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

280 317 232 341 0 1561 0 543 5542

N.S.

1 1.13 0.83 1.22 0.00 5.58 0.00 1.94 19.79

time (sec)

N/A 1.407 2.257 1.703 0.000 0.414 0.000 0.361 7.989

Problem 267

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

211 247 204 282 0 1152 0 455 6923

N.S.

1 1.17 0.97 1.34 0.00 5.46 0.00 2.16 32.81

time (sec)

N/A 0.992 1.598 1.295 0.000 0.369 0.000 0.331 10.658

Problem 268

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

180 206 172 234 0 740 0 391 248

N.S.

1 1.14 0.96 1.30 0.00 4.11 0.00 2.17 1.38

time (sec)

N/A 0.702 1.006 1.155 0.000 0.362 0.000 0.324 3.763

Problem 269

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

164 190 157 232 0 742 0 390 248

N.S.

1 1.16 0.96 1.41 0.00 4.52 0.00 2.38 1.51

time (sec)

N/A 0.570 0.601 1.261 0.000 0.340 0.000 0.314 3.657

Problem 270

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

214 258 269 302 0 1400 0 481 6913

N.S.

1 1.21 1.26 1.41 0.00 6.54 0.00 2.25 32.30

time (sec)

N/A 1.200 1.250 2.221 0.000 13.011 0.000 0.339 9.896

Problem 271

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

299 335 352 376 0 2100 0 574 9312

N.S.

1 1.12 1.18 1.26 0.00 7.02 0.00 1.92 31.14

time (sec)

N/A 2.018 4.339 2.536 0.000 27.862 0.000 0.359 13.448

Problem 272

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

402 426 507 460 0 2416 0 1395 10547

N.S.

1 1.06 1.26 1.14 0.00 6.01 0.00 3.47 26.24

time (sec)

N/A 2.804 3.001 3.043 0.000 43.605 0.000 0.371 12.723

Problem 273

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F(-2) B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

409 466 1155 552 0 2567 0 966 7823

N.S.

1 1.14 2.82 1.35 0.00 6.28 0.00 2.36 19.13

time (sec)

N/A 2.177 7.668 2.483 0.000 0.575 0.000 0.387 12.379

Problem 274

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F(-2) B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

301 356 717 459 0 1857 0 813 9733

N.S.

1 1.18 2.38 1.52 0.00 6.17 0.00 2.70 32.34

time (sec)

N/A 1.446 3.630 1.730 0.000 0.494 0.000 0.350 12.761

Problem 275

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

274 319 251 371 0 1220 0 689 440

N.S.

1 1.16 0.92 1.35 0.00 4.45 0.00 2.51 1.61

time (sec)

N/A 1.095 1.636 1.580 0.000 0.381 0.000 0.350 6.715

Problem 276

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

263 302 252 384 0 1232 0 722 451

N.S.

1 1.15 0.96 1.46 0.00 4.68 0.00 2.75 1.71

time (sec)

N/A 1.029 1.290 1.447 0.000 0.382 0.000 0.335 6.626

Problem 277

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

237 279 227 372 0 1228 0 691 440

N.S.

1 1.18 0.96 1.57 0.00 5.18 0.00 2.92 1.86

time (sec)

N/A 0.860 1.676 1.540 0.000 0.401 0.000 0.323 4.000

Problem 278

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

301 365 368 479 0 2269 0 837 9727

N.S.

1 1.21 1.22 1.59 0.00 7.54 0.00 2.78 32.32

time (sec)

N/A 1.859 1.611 2.578 0.000 37.890 0.000 0.364 19.058

Problem 279

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

420 476 549 587 0 3393 0 996 13119

N.S.

1 1.13 1.31 1.40 0.00 8.08 0.00 2.37 31.24

time (sec)

N/A 3.048 2.969 3.304 0.000 76.714 0.000 0.366 25.786

Problem 280

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

547 591 781 672 0 3819 0 1090 14398

N.S.

1 1.08 1.43 1.23 0.00 6.98 0.00 1.99 26.32

time (sec)

N/A 3.913 4.639 5.062 0.000 113.158 0.000 0.372 14.276

Problem 281

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 27 28 23 0 25 56 25 24

N.S.

1 0.96 1.00 0.82 0.00 0.89 2.00 0.89 0.86

time (sec)

N/A 0.211 0.008 1.726 0.000 0.292 0.422 0.270 0.518

Problem 282

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

27 27 24 21 0 24 68 33 50

N.S.

1 1.00 0.89 0.78 0.00 0.89 2.52 1.22 1.85

time (sec)

N/A 0.204 0.012 0.811 0.000 0.305 0.388 0.282 0.912

Problem 283

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

11 11 23 12 0 11 31 11 11

N.S.

1 1.00 2.09 1.09 0.00 1.00 2.82 1.00 1.00

time (sec)

N/A 0.185 0.003 0.645 0.000 0.283 0.339 0.286 0.563

Problem 284

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A C B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

3 3 3 4 0 3 2 10 3

N.S.

1 1.00 1.00 1.33 0.00 1.00 0.67 3.33 1.00

time (sec)

N/A 0.136 0.000 0.302 0.000 0.259 0.065 0.274 0.522

Problem 285

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B B B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

12 12 12 20 0 31 39 47 16

N.S.

1 1.00 1.00 1.67 0.00 2.58 3.25 3.92 1.33

time (sec)

N/A 0.190 0.003 1.067 0.000 0.295 1.841 0.284 0.530

Problem 286

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

11 11 11 12 0 19 32 11 30

N.S.

1 1.00 1.00 1.09 0.00 1.73 2.91 1.00 2.73

time (sec)

N/A 0.204 0.002 1.830 0.000 0.283 1.440 0.289 0.511

Problem 287

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

36 36 36 37 0 64 0 52 73

N.S.

1 1.00 1.00 1.03 0.00 1.78 0.00 1.44 2.03

time (sec)

N/A 0.268 0.007 1.577 0.000 0.321 0.000 0.304 0.988

Problem 288

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

28 27 24 25 0 32 42 25 39

N.S.

1 0.96 0.86 0.89 0.00 1.14 1.50 0.89 1.39

time (sec)

N/A 0.222 0.030 1.767 0.000 0.256 8.067 0.292 0.693

Problem 289

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

114 122 98 139 0 350 0 185 173

N.S.

1 1.07 0.86 1.22 0.00 3.07 0.00 1.62 1.52

time (sec)

N/A 0.617 0.131 1.075 0.000 0.313 0.000 0.321 1.237

Problem 290

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

79 81 73 98 0 281 0 128 193

N.S.

1 1.03 0.92 1.24 0.00 3.56 0.00 1.62 2.44

time (sec)

N/A 0.423 0.068 0.977 0.000 0.301 0.000 0.301 0.897

Problem 291

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

61 61 59 66 0 231 0 245 101

N.S.

1 1.00 0.97 1.08 0.00 3.79 0.00 4.02 1.66

time (sec)

N/A 0.303 0.033 0.856 0.000 0.291 0.000 0.341 0.828

Problem 292

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

50 50 49 45 0 177 190 78 44

N.S.

1 1.00 0.98 0.90 0.00 3.54 3.80 1.56 0.88

time (sec)

N/A 0.222 0.017 0.803 0.000 0.297 155.041 0.286 0.535

Problem 293

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

70 70 103 86 0 292 0 122 101

N.S.

1 1.00 1.47 1.23 0.00 4.17 0.00 1.74 1.44

time (sec)

N/A 0.360 0.043 1.208 0.000 0.322 0.000 0.357 0.817

Problem 294

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

88 90 116 125 0 398 0 155 326

N.S.

1 1.02 1.32 1.42 0.00 4.52 0.00 1.76 3.70

time (sec)

N/A 0.491 0.239 1.324 0.000 0.366 0.000 0.308 1.119

Problem 295

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

123 132 239 194 0 487 0 221 1099

N.S.

1 1.07 1.94 1.58 0.00 3.96 0.00 1.80 8.93

time (sec)

N/A 0.821 0.757 1.423 0.000 0.474 0.000 0.309 1.903

Problem 296

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

386 408 292 1635 0 639 0 0 0

N.S.

1 1.06 0.76 4.24 0.00 1.66 0.00 0.00 0.00

time (sec)

N/A 2.182 1.410 17.280 0.000 0.194 0.000 0.000 0.000

Problem 297

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

303 317 232 1305 0 561 0 0 0

N.S.

1 1.05 0.77 4.31 0.00 1.85 0.00 0.00 0.00

time (sec)

N/A 1.583 0.975 15.457 0.000 0.135 0.000 0.000 0.000

Problem 298

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

231 237 179 993 0 492 0 0 0

N.S.

1 1.03 0.77 4.30 0.00 2.13 0.00 0.00 0.00

time (sec)

N/A 1.218 2.081 13.495 0.000 0.146 0.000 0.000 0.000

Problem 299

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

171 172 146 600 0 435 0 0 0

N.S.

1 1.01 0.85 3.51 0.00 2.54 0.00 0.00 0.00

time (sec)

N/A 0.829 0.536 10.721 0.000 0.134 0.000 0.000 0.000

Problem 300

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

178 179 107 247 0 0 0 0 0

N.S.

1 1.01 0.60 1.39 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.218 26.060 7.423 0.000 0.000 0.000 0.000 0.000